21. Logic, Language and Reasoning
پدیدآورنده : edited by Hans Jürgen Ohlbach, Uwe Reyle.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Algebra-- Data processing.,Artificial intelligence.,Computational linguistics.,Logic, Symbolic and mathematical.,Logic.,Philosophy (General).
22. Logic, Language, formalism, informlaism
پدیدآورنده : Richardson, Daniel
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی امیرکبیر (تهران)
موضوع : Logic, Symbolic and mathematical - Study and teaching , Computational Linguistics - Study and teaching , Language and logic - Study and teaching , Reasoning - Study and teaching
رده :
QA
9
.
R52
1995
23. Logic, language, and computation
پدیدآورنده : / edited by Jerry Seligman & Dag Westerstغhl
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه محقق اردبیلی ره (اردبیل)
موضوع : Language and logic,Logic, Symbolic and mathematical,Computational linguistics
رده :
P39
.
L593
1996
24. Modelling with words : learning, fusion, and reasoning within a formal linguistic representation framework
پدیدآورنده : Jonathan Lawry, Jimi Shanahan, Anca Ralescu )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : ، Computational linguistics,Data processing ، Linguistic models,Data processing ، Lexicology,، Logic, Symbolic and mathematical
رده :
QA
76
.
L28
Vol
.
2873
25. Modern language models and computation : theory with applications
پدیدآورنده : Meduna, Alexander, 7591-
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : ، Mathematical linguistics,، Programming languages )Electronic computers(,، Computational linguistics,، Computer systems
رده :
P
138
.
M43M6
26. Multi-Dimensional Modal Logic
پدیدآورنده : by Maarten Marx, Yde Venema.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Computational linguistics.,Logic, Symbolic and mathematical.,Logic.,Philosophy (General).
27. Provability, complexity, grammars
پدیدآورنده : Lev Beklemishev, Mati Pentus, Nikolai Vereshchagin.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Computational complexity.,Mathematical linguistics.,Modality (Logic),Proof theory.
28. Statistical language and speech processing :
پدیدآورنده : Laurent Besacier, Adrian-Horia Dediu, Carlos Martín-Vide (eds.)
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Artificial intelligence, Congresses,Computational linguistics, Congresses,Mathematical linguistics, Congresses,Speech processing systems, Congresses,Artificial Intelligence (incl. Robotics),Computer Science,Data Mining and Knowledge Discovery
رده :
P98
29. Statistical language learning]CD[
پدیدآورنده : Charniak, Eugene., Eugene Charniak
کتابخانه: كتابخانه و مركز اسناد دانشگاه كردستان (کردستان)
موضوع : ، Computational linguistics,Statistical methods ، Linguistics,، Mathematical linguistics,، Artificial intelligence
رده :
CD
1755-40
30. Statistical language learning
پدیدآورنده : / Eugene Charniak
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه محقق اردبیلی ره (اردبیل)
موضوع : Computational linguistics,Linguistics- Statistical methods,Mathematical linguistics,Artificial intelligence
رده :
P98
.
5
.
S83
,
C47
1993
31. <The> Language of Mathematics
پدیدآورنده : \ Mohan Ganesalingam.
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Computational linguistics,Mathematical Linguistics,Computer science,زبان‌شناسی کامپیوتری,زبان‌شناسی ریاضی,کامپیوتر,a03,a04,a05,a03,a04,a05
رده :
P
98
.
G32L32
2013
E-Book
,
32. The Mathematics of syntactic structure :
پدیدآورنده : edited by Hans-Peter Kolb, Uwe Mönnich
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Computational linguistics,Generative grammar,Grammar, Comparative and general-- Syntax,Mathematical linguistics
رده :
P291
.
M354
1999
